_ _  __ _______
     / V \/  \ __> __>
    /      BUGS_ \<__
    \_\_/_/_/<___/___>

    o Popping up MUI-Prefs from the PopUp-gadget in the window-
      border might fail for some, if the pointer is right above the
      Textfield.gadget. If MUI-Prefs won't pop up, try again, and see
      to it that you don't have the pointer above the textfield.gadget.
      This is obviously not a fault of Misc, but of MUI.